Towards an algebraic specification of code generation
نویسندگان
چکیده
منابع مشابه
Towards an Algebraic Semantics for Database Specification
In the framewerk of a modal-algebraic approach to database semantics, the specification of abstract object types on the basis of abstract data types is studied. As a semantic framewerk for determining admissible states and state sequences, a standard universe of "possible objects'' and their interrelationships has to be associated with a schema specification. This paper gives a construction of ...
متن کاملTowards an Algebraic Specification of the Java Virtual Machine
We develop an algebraic speci cation of the architecture of an abstract and simpli ed version of the Java Virtual Machine (JVM). This concentration on the implementation-independent features of the machine allows us to build a clean and easily comprehensible model in which its structure is emphasised. We then axiomatise the semantics of programs operating on this architecture. We also consider ...
متن کاملAn Agent Based Etl System: Towards an Automatic Code Generation
The key of an effective management of enterprises is applying intelligent software tools to define decision analysis process, from data acquisition to recommended action, including an adaptive feedback. Decision support systems (DSS) have multiple data sources that contain valuable information that must be integrated and processed to allow the key business processes to have adaptive business in...
متن کاملAlgebraic Matching of Vulnerabilities in a Low-Level Code
This paper explores the algebraic matching approach for detection of vulnerabilities in binary codes. The algebraic programming system is used for implementing this method. It is anticipated that models of vulnerabilities and programs to be verified are presented as behavior algebra and action language specifications. The methods of algebraic matching are based on rewriting rules and techniques...
متن کاملTowards Automated Generation of Time-Predictable Code
Knowledge of the worst-case execution time of software components is essential in safety-critical hard real-time systems. The analysis thereof is not trivial as the execution time depends on many factors, including the underlying hardware platform, the program structure, and the code produced by the compiler. Often, the execution time is variable and highly sensitive to the input data the progr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 1988
ISSN: 0167-6423
DOI: 10.1016/0167-6423(88)90064-0